A Brief Introduction to NZMATH

Development of NZMATH

A brief introduction to quaternion matrices and linear algebra and on bounded groups of quaternion matrices

The division algebra of real quaternions, as the only noncommutative normed division real algebra up to isomorphism of normed algebras, is of great importance. In this note, first we present a brief introduction to quaternion matrices and quaternion linear algebra. This, among other things, will help us present the counterpart of a theorem of Herman Auerbach in the setting of quaternions. More ...

Formalization and Verification of Number Theoretic Algorithms Using the Mizar Proof Checker

In this paper, we introduce formalization of well-known number theoretic algorithms on the Mizar proof checking system. We formalized the Euclidean algorithm, the extended Euclidean algorithm and the algorithm computing the solution of the Chinese reminder theorem based on the source code of NZMATH which is a Python based number theory oriented calculation system. We prove the accuracy of our f...

Safe Use of Flammable Endotracheal Tubes During Anesthesia for Laryngeal Laser Surgery-Report of 1024 Cases and a Brief Literature Review

Introduction: One of the major concerns in laryngeal laser surgery is the risk of airway fire. The introduction ofwrapped tubes and metal tubes has reduced the fire hazards. However, these tubes are expensive and do not provide convenient access to the surgical field. There are few laboratory studies addressing the resistance of polyvinylchloride tubes against ignition in the given circum...

Incidence of Cardiac Dysrhythmia in COVID-19 Patients Treated with Conventional Medications – A Brief Report of 58 Patients

Introduction: When World Health Organization (WHO) declared that Covid-19 is a pandemic, a wide range of drugs, including antiviral drugs and antibiotics have been taken to treat this disease. This study aimed to evaluate the incidence of cardiac dysrhythmias due to the conventional medications in 58 COVID -19 patients. Methods: This study is a cross-sectional analytical study was performed to...